ul.options {
  list-style-type: none;
  width: 15em;
  margin: 0.3em 0;
  padding: 0;
}

ul.options li {
  background: url(../images/cross_bright.png) no-repeat 98% center;
  margin: 1px;
  padding: 0.1em 0.3em;
  cursor: pointer;
  color: #000;
  border: solid 1px #cde;
}

ul.options2 {
  list-style-type: none;
  width: 15em;
  margin: 0.3em 0;
  padding: 0;
}

ul.options2 li {
  /*background: url(../images/cross_bright.png) no-repeat 98% center;*/
  margin: 1px;
  padding: 0.1em 0.3em;
  cursor: pointer;
  color: #000;
  border: solid 1px #cde;
}

.code .html {
  color: #007f00;
}

.code .php {
  color: #7f007f;
}

.code .js {
  color: #00007f;
}

.highlight {
  background-color: #ff0;
}
